type Asyncify = <A, B, C>((A, B) => C) => (A, B, Callback<C>) => void